Re: Unprincipled defaults

Whoa. I was far too confident that wouldn't work! On Sep 2, 2016 12:39 PM, "Richard Eisenberg" wrote: > I feel like I must be missing something, but what's wrong with > > class Semigroup1 f where > op :: f a -> f a -> f a > > default op :: Monoid (f a) => f a -> f a ->

Unprincipled defaults

On occasion, it can be useful to have default definitions that don't typecheck even with DefaultSignatures. It would be nice to be able to use them anyway. For example, if we have class Semigroup1 f where op :: f a -> f a -> f a then we could, hypothetically, give a default definition for