Metaphorless Monads