BUILDon a Monad