1 2 3 4 5 6 7
{-# LANGUAGE DefaultSignatures #-} module WildcardInDefaultSignature where class C a where f :: a default f :: _