1 2 3 4 5 6 7 8 9 10 11 12 13
{-# LANGUAGE TypeFamilies #-} module Overlap1 where type family F a where F Int = Int F a = Bool g :: F Int g = 5 h :: F Char h = False