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

module Arrow where

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