|- ?rep. TYPE_DEFINITION (\b. b) rep
|- () = @x. T
|- !f g. f = g
|- !v. v = ()
|- !e. ?!fn. fn () = e