Methods

app :: repr (a -> b) -> repr a -> repr b Source #

s :: repr ((a -> b -> c) -> (a -> b) -> a -> c) Source #

k :: repr (a -> b -> a) Source #

i :: repr (a -> a) Source #

b :: repr ((b -> c) -> (a -> b) -> a -> c) Source #

c :: repr ((a -> b -> c) -> b -> a -> c) Source #

w :: repr ((a -> a -> b) -> a -> b) Source #