fix warning
Reduce Kleisli.ask Monad constraint to Applicative
Remove useless constraint from Kleisli.local
workaround for https://issues.scala-lang.org/browse/SI-8772
more code generation
Merge pull request #786 from puffnfresh/over-constrained

Reduce Kleisli.ask Monad constraint to Applicative
latest current stable version is 7.1.0
Predef.conforms is deprecated. use identity
remove unused import
Merge pull request #787 from xuwei-k/code-generation

more code generation
update links. scalaz-seven is no longer maintenanced

- https://groups.google.com/d/topic/scalaz/4gKSSYwpKxE/discussion
- https://github.com/scalaz/scalaz/commit/0a5f2e9b9c1db0e90ff873909033cb7fb313a989#diff-04c6e90faac2675aa89e2176d2eec7d8R122
 - https://github.com/scalaz/scalaz/blob/0a5f2e9b9c1db0e90ff873909033cb7fb313a989/core/src/main/scala/scalaz/OptionT.scala#L23
 - https://github.com/scalaz/scalaz/blob/0a5f2e9b9c1db0e90ff873909033cb7fb313a989/core/src/main/scala/scalaz/OptionT.scala#L59
tweak scaladoc
use spire.macrosk.Ops
machinist