make HTML obey the monad law
add RawText