Show the steps of the type inference algorithm for the following,
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 {} (\x -> case x of { Nothing -> False ; Just y -> True })