an start an an attempt to make our monad be a monad transformer
small tweaks to proof