Re: [Haskell-cafe] How to do this with associated types?

But what to do with Maybe?

...

instance Result Maybe where type Failure Maybe = forall e. e -- can't do this failure _ = Nothing success x = Just x

Normally, I would use: type Failure Maybe = () Unless the ability to discard information of any type is somehow a salient feature. Friendly, --L