discardable-monads-and-marginalization