v0.11.4

Added

• Monad: join function (#103).
• Monad: Allow patterns in let* notation (#97, by #108).
• OptionMonad: MonadExc instance (#112).
• FMapAList: alternative definition alist_find' and fold_alist' based on stdlib (#115).

Changed

• StateMonad: Monad_stateT into local instance (#106).
• ListMonad: use flat_map from stdlib (#113).

Deprecated

• String: prefer comparison functions from stdlib (#114).

Fixed

• StateGame.v example (#104).