Type Families - YuMingLiao/haskell_code GitHub Wiki Close Type Families avoid-overlapping-instances-with-closed-type-families