liquidhaskell-0.8.10.1: tests/pos/T1556.hs

module Foo 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