universe-instances-trans-1.1: src/Data/Universe/Instances/Trans.hs
module Data.Universe.Instances.Trans
{-# DEPRECATED "Use Data.Universe.Class from universe-base package" #-}
(Universe(..), Finite(..)) where
import Data.Universe.Class (Universe (..), Finite (..))