Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Monads are just monoids in the category of endofunctors

Name: Anonymous 2022-11-07 10:22

Can someone please explain what this means in 10 words or less? I don't have much time.

Name: Anonymous 2022-11-07 14:50

>>3
endofactor :: forall a. a -> a
or
endofactor :: int -> int
?

>>5
Of the same type?

Newer Posts