ghc-exactprint-0.5.0.0: tests/examples/ghc8/TypeFamilyInstanceLHS.hs

{-# LANGUAGE TypeFamilies #-}
module TypeFamilyInstanceLHS where

type family F (a :: *) (b :: *) :: *
type instance F Int  _ = Int
type instance F Bool _ = Bool

foo :: F Int Char -> Int
foo = id