Fixing up inference where type application was backwards