Re: DefaultSignatures and MultiParamTypeClasses