module Transform.Rules.Rel where

import Data.Type

flatten :: Type a -> a -> a
simplify :: Type a -> a -> a
leftmost :: Type a -> a -> a
rightmost :: Type a -> a -> a
leftmostC :: Type a -> a -> a
rightmostC :: Type a -> a -> a
liftify :: Type a -> a -> a
sumify :: Type a -> a -> a