%
M
+
XtensionMonoid
<:<
Adt
<==
XtensionImplication
<==>
XtensionImplication
=!=
typelevel
==>
XtensionImplication