% $Id: Pred2ListMonad.oz,v 1.1 2007/11/14 02:11:06 leavens Exp leavens $ declare fun {Pred2ListMonad Pred} fun {$ X} if {Pred X} then [X] else nil end end end