noether-0.0.1: library/Noether/Algebra/Subtyping.hs

module Noether.Algebra.Subtyping
  ( Subtype
  , embed
  ) where

class Subtype a b where
  embed :: a -> b