Variadic >>
Pull out pair type for using it in the writer monad
WIP writer monad