ghc-exactprint-1.14.0.0: tests/examples/pre-ghc910/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