Zmiana stałości typu funkcji (->)?

Question

Wykonuję niektóre obliczenia na poziomie poziomu Doszedłem do punktu, w którym chcę zmienić stałość ->, ponieważ nie można go mieszać z operatorami lewostronnych typu fixity 0. Wiem, że to nie działa wprost z TypeOperators rozszerzenie i infixr 1 ->, ponieważ zwraca tylko błąd parse error on input ‘->’.

Czy istnieje jakieś rozszerzenie lub inny sposób modyfikowania stałości operatora funkcji?

Answer 1

Można zrobić synonim:

{-# LANGUAGE TypeOperators #-} 

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