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