Am 01.02.11 22:17, schrieb Houdini: > > How about this...? > assign :: (Atom,Bool) -> Formula -> Formula > assign (a,b) = map . (map f) where > f (x,b) = (x,(x==a)&&b) How about testing it?