Argument type in instance - typecheck done