fix draw proposition button height
better mongodb enumerate using monoid