{-# LANGUAGE NoImplicitPrelude #-} -- | -- Module : OAlg.Entity.Sum -- Description : free sums. -- Copyright : (c) Erich Gut -- License : BSD3 -- Maintainer : zerich.gut@gmail.com -- -- free sums. module OAlg.Entity.Sum ( module Def , module Fre ) where import OAlg.Entity.Sum.Definition as Def import OAlg.Entity.Sum.SumSymbol as Fre