monadisms

not defined yet