1. Dmitry Grebeniuk
  2. coq-practical-monads

Compare