%% 2010-12-20

a : type.
app : a -> a -> a = [x][y] x y.