Do not call Arrow.apply since the types bound to the variable Gamma will be the result of the application.