liquidhaskell-0.9.0.2.1: tests/pos/T1556.hs

module T1556 where

{-@ type Alias a b = (a,b) @-}
type Alias a b = (a,b)

{-@ foo :: Alias (a,b) a @-}
foo ::  Alias (a,b) a
foo = undefined