Build Monads.v

4 jobs for master in 4 minutes and 25 seconds (queued for 2 minutes and 32 seconds)