Haskell allows what I will call coincident overlap among type family instances. Coincident overlap occurs when two (or more) type family instances might be applicable to a given type family usage s…| Types and Kinds
I am pleased to announce that I have pushed my implementation of ordered overlapping type family instances to GHC HEAD. This blog post is a literate Haskell file. Copy and paste into a .lhs file to…| Types and Kinds