patch applied (haskell-prime-status): TypeSynonymInstances: probably accept ==> undecided