(b -> a (c,d)) -> [b] -> a ([c],[d])
(b -> a Bool) -> [b] -> a [b]
(b -> c -> a b) -> b -> [c] -> a b
(b -> c -> a d) -> [b] -> [c] -> a ()
(b -> c -> a d) -> [b] -> [c] -> a [d]
(b -> c -> d -> e -> f -> g) -> a b -> a c -> a d -> a e -> a f -> a g
(b -> c -> d -> e -> f) -> a b -> a c -> a d -> a e -> a f
(b -> c -> d -> e) -> a b -> a c -> a d -> a e
(b -> c -> d) -> a b -> a c -> a d
(b -> c) -> a b -> a c
[a b] -> a b
a (a b) -> a b
a (b -> c) -> a b -> a c
Bool -> a ()
Bool -> a () -> a ()