FunctionalDependencies
Functional DependenciesをやるGHC拡張
GHC 6.8.1から入った
https://wiki.haskell.org/GHC/AdvancedOverlap
直接は関係ないが似たような話