module Data.Order.Algorithm.Type (

    Algorithm (Algorithm)

) where

import Data.Order.Algorithm.Raw

data Algorithm = forall o e . Algorithm (forall s . RawAlgorithm s o e)