patch applied (haskell-prime-status): point to the wiki for LiberalTypeSynonyms