idris-0.12.3: test/regression002/reg077.idr

data (:>>) : a -> b -> Type where