another fuck up in typechecker