Monads natural transformations: categories for the working programmers