More aborted attempts at monad_law_1
Proved that Sources are both Monads and Categories