module
Noether
.
Algebra
.
Subtyping
(
Subtype
,
embed
)
where
class
Subtype
a
b
where
embed
::
a
->
b