1 2 3 4 5 6
type family F a :: * where F [Int] = Bool F [a] = Double F (a b) = Char -- Defined at T13420.hs:4:1