Maybe the macro interpreter should error if instance_vars is not called as @type.instance_vars?
instance_vars
@type.instance_vars