Login
Roast topics
Find topics
Find it!
From:
Types and Kinds
(Uncensored)
subscribe
Coincident Overlap in Type Families | Types and Kinds
https://typesandkinds.wordpress.com/2013/04/29/coincident-overlap-in-type-families/
links
backlinks
Tagged with:
haskell
ghc
overlapping-tyfams
type families
Roast topics
Find topics
Roast it!
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…
