On Sat, 2009-03-14 at 02:12 +1000, Matthew Brecknell wrote: > Ross Paterson wrote: > > No. Choose an arbitrary element shape :: f () and define > > point x = fmap (const x) shape > > Interesting. Is the arbitrariness of the shape some sort of evidence > that Pointed is not really a very useful class in its own right?
A simpler bit of evidence is that the only law I can think of for point (in its own right) is fmap f . point = point . f which we get free anyway. jcc _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
