1 2 3 4 5 6 7 8 9 10
{-# LANGUAGE DefaultSignatures #-} module T20588c where import Data.Kind class C (a :: Type) where meth :: a default meth :: Monoid a => a meth = mempty