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