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

module Arrow where

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