1 2 3 4 5 6 7 8
{-# LANGUAGE Haskell2010 #-} {-# LANGUAGE TypeFamilies #-} module T13420 where type family F a where F [Int] = Bool F [a] = Double F (a b) = Char