Drafted up an idea of what the future monad could look like