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