# language UndecidableSuperClasses #

module Haskerwaul.Magma.Invertible.Right
  ( module Haskerwaul.Magma.Invertible.Right
  -- * extended modules
  , module Haskerwaul.Magma
  ) where

import Haskerwaul.Magma

-- |
--
-- = references
--
-- - [nLab](+magma)
class Magma c t a => RightInvertibleMagma c t a

 * extended modules
 |

 = references

 - [nLab](+magma)
# language UndecidableSuperClasses #

module Haskerwaul.Magma.Invertible.Right
  ( module Haskerwaul.Magma.Invertible.Right
  , module Haskerwaul.Magma
  ) where

import Haskerwaul.Magma

class Magma c t a => RightInvertibleMagma c t a
