# a type bomb, very small program produces enormous type

t = d id;

d = compose c c;

c = compose b b;

b = compose a a;

a = \x -> p x x;

p = \x -> \y -> \z -> z x y;