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 ()