<div class="Ih2E3d">&gt; Note that you can do this using the case-lambda type constructor<br></div>thanks, i&#39;ll fix this<div class="Ih2E3d"><br><br>&gt; shouldn&#39;t these instances of Path-string really be Path/str?<br>
</div>you are right, Path-string should also allow Path,  this was a mistake.<br>
<br>I kept Path-string &amp; Path/str separate as they use
Path-for-current-system vs Path-for-some-system and wasn&#39;t sure if this
could be distinguished by the type system. <br><br>There is just a single Path type so i think they cant be distinguished, and so are both the same type (U Path String)<br>
<br>