module Control.Monad.Trans.Order.Algorithm.Type ( Algorithm (Algorithm) ) where import Control.Monad.Trans.Order.Raw data Algorithm = forall a . Algorithm (forall s . RawAlgorithm a s)