-record('else', {span :: ghtml@types:span()}).