j
k
j a
j l
On Mon, Mar 29, 2010 at 09:15:09AM -0400, Mario Blažević wrote:
I'd expect the appropriate functor product rather be something like data NestedProduct f g a = NestedProduct (f (g a))
I'd expect the appropriate functor product rather be something like
data NestedProduct f g a = NestedProduct (f (g a))
That's already present as Compose.
Back to the thread
Back to the list
