module Data.Order.Element (

    Element

) where

-- Data

import Data.Order.Element.Type

-- NOTE: Element is imported from Data.Order.Element.Type.