1 2 3 4 5 6 7 8 9
{-# LANGUAGE TypeFamilies #-} module T3092 where data T a = T1 a data instance T Int = T2 Char type S b = b type instance S Int = Char