Overlap11.hs 145 Bytes
Newer Older
1 2 3 4
{-# LANGUAGE TypeFamilies #-}

module Overlap11 where

5
type family F a b where
6 7 8
  F a a = Int
  F a b = b

9 10
g :: a -> F a Int
g x = (5 :: Int)
11 12 13 14