A RESTful, functional web toolkit