1 2 3 4 5 6 7
{-# LANGUAGE DeriveAnyClass #-} {-# LANGUAGE RankNTypes #-} {-# LANGUAGE StandaloneDeriving #-} module T18271 where class C a deriving instance forall a -> C (Maybe a)