Para volver a enlazar la notación de proc de Haskell, el párrafo 7.3.11 "Rebindable syntax and the implicit Prelude import" de la Guía del usuario de GHC indica que la notación de Flecha utiliza las funciones arr
, first
, ... que están dentro del alcance. También establece que los tipos "deben coincidir con los tipos de Preludio muy de cerca".¿Cómo volver a unir la notación de proc de Haskell con las Flechas definidas por el usuario?
Se anima a cualquier persona que quiera usar esto, a preguntar. Entonces, ¿qué tan cerca tienen estos tipos para que coincida con los tipos de Preludio?