Overlap1.hs 144 Bytes
Newer Older
1 2 3 4
{-# LANGUAGE TypeFamilies #-}

module Overlap1 where

5
type family F a where
6 7 8 9 10 11 12 13
  F Int = Int
  F a = Bool

g :: F Int
g = 5

h :: F Char
h = False