Starts simply while exploring the implications as the “laws” become more elaborate. Most products of the “internet monad tutorial cottage industry” focus too much on one particular instance (Maybe, State, IO monad) while really not illuminating the full abstraction hiding behind the “laws”.