module Bug1 where

data A a where
  MkA :: A ()

class C w where
  f :: forall a . w a -> Maybe a

instance C A where
  f MkA  = Just ()