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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
