vars e : Type; a < e
op f : a -> a
var x : a
. f = \ x : e . f x;
vars
a < e : Type %(var_2)%;
e : Type %(var_1)%
op f : forall a < e : Type . a -> a
var
x : a
forall e : Type . f = \ x : e . f x
1.5: ### Hint: is type variable 'e'
4.7: ### Hint: not a class 'a'
6.9: ### Hint: rebound variable 'x'