Trying to typecheck typed methods