WIP: just added a header
Added the monad definitions