type-synonyms

9calore

2risposta

È possibile avere sinonimi di tipo smemorato in Haskell?

Se ho un tipo con un parametro fantasma che ho solo qualche volta a cuore, come questo: data Foo p a b = Bar a b C'è un modo hack per scrivere un tipo sinonimo Baz tale che Baz a b è Foo p a b per q