On: Functors and Monads for People Who Have Read Too Many “Tutorials”

[nicolasrusso]

Interesting, thank you!

For those who like me wanted to see the edge case for the non-monotonic function, if you do:

-2 < -1

-2 is in fact less than -1.

However:

(-2)^2 < (-1)^2 ==becomes==> 4 < 1

And 4 is obviously not less than 1.