path: root/testsuite/tests/typecheck/should_compile/GivenTypeSynonym.hs

{-# LANGUAGE TypeFamilies #-}
module Main where 

data A a

type T a = A a


f :: (A a ~ T Int) => a -> Int 
f x = x 


main :: IO ()
main = return ()