module Data.Expr.SharingRecovery (
  -- * Sharing recovery
  sharingRecovery,

  -- * Expressions
  PHOASExpr(..),
  BExpr(..),
  Idx(..),

  -- * Traversing indexed structures
  Functor1(..),
  Traversable1(..),
) where

import Data.Expr.SharingRecovery.Internal