Show the steps of the type inference algorithm for (\f -> f True),
similar to the format and the level of detail shown in the lecture.
You may skip detailed steps of unification, but please still show
how unify calls unify-intern, like in the lecture.

infer {} (\f -> f True)