1 2 3 4 5 6 7
{-# LANGUAGE TypeFamilies #-} module T2677 where type family A x type instance A a = Bool type instance A Int = Char