module B where

class B a where
  has :: a