Skip to content

Add Commutative{Monad, FlatMap} instances for IdT#2104

Merged
kailuowang merged 1 commit intotypelevel:masterfrom ceedubs:idt-commutative-monadDec 14, 2017

Commits

Commits on Dec 14, 2017