1.0.0

CHANGES:

• Add selective to Either, Options, Result and Try @d-plaindoux
• Add specialized interpreters/handlers for Free and Freer monads @xhtmlboi
• Add right-associative operators for Contravariant, Divisible and Decidable @xhtmlboi
• Add Bind @d-plaindoux
• Add Apply @d-plaindoux
• Add ('a, 'b) handle to simplify handlers for Freer_monad @xvw
• Rename times to times_to_nel for semigroup-ish and add times for monoid-ish @xvw
• Add Decidable (Contravariant analogue for Alternative) and add some missing infixes operators for Divisible @gr-im
• Removing early destructive substitution @xhtmlboi
• Add Semigroupoid @d-plaindoux
• Add Freer Selective @gr-im
• Add Invariant (Functor) (and some instance) @gr-im
• Add Kleisli and Cokleisli @gr-im
• Add Join, Joker and Clown @gr-im
• Relax constraint for definition of Profunctor and Choice using the Kleisli Arrow @gr-im
• Make List and Nonenmpty_list Traversable implementations (for both Applicative and Monad) Tail-recursive @xvw
• Add Seq module in Stdlib (with Functor, Applicative (with Traversable), Alternative, Monad (with Traversable), Monad_plus, Monoid and Foldable) @xvw
• Add mli for stdlib's test and example's test (in order to track unused tests) @xvw
• Use absolute URLs for image in documentation (in order to fit with the new version of OCaml.org) @xvw
• Add Selective for Free monad and Freer monad @xvw