1{-# LANGUAGE TypeFamilies #-} 2 3data family Yo 4data instance Yo = Heya Int 5 6test :: Yo -> Int 7test b = _ 8 9