type X = Y
>
-- Comment
instance A a => B a where
  x = y
>

{-# INLINE x #-}
x = 3