RE: a monadic if or case?