Steffen Schuldenzucker wrote:
Uhm, isn't it:
class (Functor f) => Pointed f where
pure :: a -> f a -- singleton, return, unit etc.
Got it from: The Typeclassopedia by Brent Yorgey (forgot the URL, sorry)
Yes, but also: http://thread.gmane.org/gmane.comp.lang.haskell.cafe/54685
So maybe functor is not strictly more powerful than pointed and vice
versa. I don't know.
Martijn.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe