j
k
j a
j l
On Fri, Mar 13, 2009 at 03:18:15PM +0100, Martijn van Steenbergen wrote:
Are there any functors f for which no point/pure/return :: a -> f a exists?
No. Choose an arbitrary element shape :: f () and define point x = fmap (const x) shape
Back to the thread
Back to the list