liquidhaskell-0.7.0.0: tests/equationalproofs/pos/Arrow.hs

module Arrow where

data Arrow a b = Arr {runFun :: a -> b}