Core servant package, with type combinators for describing webservice APIs