    module Data.Universe.Instances (
    	-- | A convenience module that imports the submodules @Eq@, @Ord@, @Show@,
    	-- @Read@, and @Traversable@ to provide instances of these classes for
    	-- functions over finite inputs.
    	) where

    import Data.Universe.Instances.Eq
    import Data.Universe.Instances.Ord
    import Data.Universe.Instances.Show
    import Data.Universe.Instances.Read
    import Data.Universe.Instances.Traversable