make HTML and NonEmpty applicative