liquidhaskell-0.8.2.2: tests/errors/T1140.hs

module Blank where 
	
data Label = Label Int 

type Proof = () 

{-@ foo :: Label -> Label -> Label -> Proof @-} 
foo :: Label -> Label -> Label -> Proof -> Proof 
foo a b c v = ()