27 Introduced extensible visitors. The way that this is done right now involves some type duplication between the definition of the different Middleware constructors, and the definition of the type of visitors. (Each Middleware constructor needs to have a corresponding handle method with the right types.) This ticket is about exploring how to reduce that type duplication, maybe by using $ObjMap and other fancy stuff.
27 Introduced extensible visitors. The way that this is done right now involves some type duplication between the definition of the different
Middlewareconstructors, and the definition of the type of visitors. (EachMiddlewareconstructor needs to have a correspondinghandlemethod with the right types.) This ticket is about exploring how to reduce that type duplication, maybe by using$ObjMapand other fancy stuff.