Daniel Schoepe wrote: > You can use liftM/fmap to lift a function into a monad: > case (checkPredName pn . snd) `fmap` get of ... I'm sorry, I misunderstood the problem, so this suggestion wouldn't work either. Could you give some more information on what SemanticResult is?