module Data.Universe.Instances.Base
    {-# DEPRECATED "Use Data.Universe.Class from universe-base package" #-}
    (Universe(..), Finite(..)) where

import Data.Universe.Class (Universe (..), Finite (..))