Cambia la fissità del tipo di funzione (->)?

Question

Eseguendo un calcolo a livello di carattere, sono arrivato al punto in cui voglio modificare la fissità di -> perché non può essere combinato con operatori di tipo associativo sinistro di fixity 0. So che non funziona a titolo definitivo con Estensione TypeOperators e infixr 1 ->, perché restituisce solo l'errore parse error on input ‘->’.

Esiste un'estensione o altri mezzi per modificare la fissità dell'operatore del tipo di funzione?

Answer 1

si può fare un sinonimo:

{-# LANGUAGE TypeOperators #-} 

infixr 1 ~> 
type (~>) = (->)