Use monadic form of lambdaform in stages.