Pattern synonyms do work in GHCi now (see #9900)