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)