Hello,<div><br></div><div>So I started working on a project involving polymorphic type safe urls. I know there are other type-safe url&#39;s out there, but I want some advice before I start reorganizing it. </div><div><br>
</div><div>It is located here: <a href="https://github.com/dracule/web-scatter">https://github.com/dracule/web-scatter</a></div><div><br></div><div>One might ask why you would want polymorphic types in your URL. Current implementation of type-safe URLs use a single type and then have it pattern match on the constructors. </div>
<div><br></div><div>However, It is a pretty common occurrence that you might want to use a type from other parts of code. Where this becomes prevalent is in IxSet and AcidState. For IxSet your Index keys all have to have separate types . So with this, you can convert your url into your index key&#39;s type and then just make your handler like this:</div>
<div><br></div><div>  myHandler :: BlogId -&gt; SomeWebHandler</div><div><br></div><div>I know my code probably has some terrible inefficiencies or something, so I am looking for some feedback on some jarring problems. </div>
<div><br></div><div>Thank You</div>