module Divisible
  ( Divisible(..)
  , divided
  , conquered
  , contrazip3
  , contrazip4
  , contrazip5
  , Supplied(..)
  ) where

import Contravariant.Extras
import Data.Functor.Contravariant.Divisible