1 2 3 4 5 6 7 8 9 10 11 12 13 14
{-# LANGUAGE TypeFamilies #-} module Overlap11 where type family F a b where F a a = Int F a b = b g :: a -> F a Int g x = (5 :: Int)