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