Representing_layered_monads