Web cgi ui and parsing of type constructors