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