path: root/testsuite/tests/typecheck/should_fail/T9318.hs

{-# LANGUAGE TypeFamilies #-}

module T9318 where

type family F x
type instance F Int = Bool

foo :: F Int -> ()
foo True = ()

bar :: F Int -> ()
bar 'x' = ()