Define the instance and proxy semi-correctly