5 Start = fun 42 [0, 1, 2, 42]
7 (oo) infixr 9 :: ((a -> b) (c d -> a) c d -> b)
10 (ooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
11 (ooo) = (o) o (o) o (o)
13 (oooo) infixr 9 :: ((a -> b) (c d e -> a) c d e -> b)
14 (oooo) = (o) o (o) o (o) o (o)
16 //(on) infixr 9// :: (a -> b) -> (c -> a) c -> b)
17 //(on) n = fold [(o) = (o)
18 //(on) n = (o) o ((on) (n-1))
20 //fun = fmap not isMember
21 fun = fmap (fmap not) isMember