types and typability of recursion 11-10