+++ /dev/null
-module test
-
-import StdEnv
-
-Start = fun 42 [0, 1, 2, 42]
-
-(oo) infixr 9 :: ((a -> b) (c d -> a) c d -> b)
-(oo) = (o) o (o)
-
-(ooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
-(ooo) = (o) o (o) o (o)
-
-(oooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
-(oooo) = (o) o (o) o (o) o (o)
-
-//(on) infixr 9// :: (a -> b) -> (c -> a) c -> b)
-//(on) n = fold [(o) = (o)
-//(on) n = (o) o ((on) (n-1))
-
-//fun = fmap not isMember
-fun = fmap (fmap not) isMember