monadically

not defined yet