{-# LANGUAGE TypeFamilies #-}

data family Yo
data instance Yo = Heya Int

test :: Yo -> Int
test b = _