Added commutative apply and applicative to Const#2204

Merged

ceedubs merged 5 commits intotypelevel:masterfrom barambani:issue-2201

Mar 24, 2018

+58-24

Commits on Mar 20, 2018

Commits on Mar 22, 2018

Replaced commutative semigroup and monoid implicit instances in test
barambani
committed

Commits on Mar 23, 2018

Removed unneeded iso
barambani
committed