[Haskell-cafe] Re: what is inverse of mzero and return?

Jorge Adriano Aires jadrian at mat.uc.pt
Mon Jan 24 18:55:40 EST 2005


> A constant c :: a  is just morphism(function) c : 0 -> a, where 0 is the
> initial object (empty set). 

--- Rant2 "correction"
Opss I messed up here. Should be terminal should 1-> a  (terminal object/unit 
set). At least that's how I usually think of constants  in haskell  1 is 
()... so I think I don't know what is a constant in Haskell... Anyway, 
stopping now.

J.A.



More information about the Haskell-Cafe mailing list