CoqMeat and Mono's Monos