On Thu, 18 Dec 2014, Edward Kmett wrote: > ghci also accepts a number of other things. > You can define data types, type synonyms, classes, instances, so pattern synonyms > would seem to fall into scope. Wow, I didn't know about this feature. In that case, yes, I agree, pattern synonyms should be supported in GHCi :)