module A where

class A a where
  has :: a