On Jan 9, 2008 3:10 PM, Ralf Laemmel <rlaemmel@gmail.com> wrote:
Type-level type cast is the type-level programmer's swiss army knife. 

See the illustration below.

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.

--
Dave Menendez <dave@zednenem.com>
<http://www.eyrie.org/~zednenem/>