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

[Christopher Lane Hinson]

> 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