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

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

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

import Data.Expr.SharingRecovery.Internal