A Monad Writer for F#by@anicolaspp