[Haskell-cafe] Monad Set via GADT

Jim Apple jbapple+haskell-cafe at gmail.com
Mon Jan 8 21:00:37 EST 2007

On 1/3/07, Roberto Zunino <zunino at di.unipi.it> wrote:
> I tried to define a Set datatype,
> with the usual operations, so that it can be made a member of the
> standard Monad class.

Also, we can do this with oleg's technique of "Restricted Data Types Now":



More information about the Haskell-Cafe mailing list