<div class="gmail_quote">On Jan 9, 2008 3:10 PM, Ralf Laemmel <<a href="mailto:rlaemmel@gmail.com">rlaemmel@gmail.com</a>> wrote:<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Type-level type cast is the type-level programmer's swiss army knife. </blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><br>See the illustration below.
<br></blockquote><div><br class="webkit-block-placeholder"></div><div>Does this get any easier with type families? Your (TypeCast a b) seems similar in intent to (a ~ b), but I'm not familiar enough with the latter to know whether it would work here.
</div></div><br>-- <br>Dave Menendez <<a href="mailto:dave@zednenem.com">dave@zednenem.com</a>><br><<a href="http://www.eyrie.org/~zednenem/">http://www.eyrie.org/~zednenem/</a>>