Diligently typed all html