Re: Monads without unit?