Some typecheck tests explanations.