type html = | Words of string list | A of string * html | B of html | I of html