relax constraint. s/ApplicativeSemigroup/ApplySemigroup
Merge pull request #400 from xuwei-k/request/apply-semigroup

relax constraint. s/ApplicativeSemigroup/ApplySemigroup