Typing polymorphic recursion - Figueiredo, Lucília