
25 Aug
2009
25 Aug
'09
1:07 p.m.
On Tue, Aug 25, 2009 at 12:07 AM, Ryan Ingram
unsafeCoerce is ugly and I wouldn't count on that working properly.
Here's a real solution:
{-# LANGUAGE GADTs, RankNTypes, TypeFamilies, ScopedTypeVariables, FlexibleContexts #-} {-# LANGUAGE FlexibleInstances #-} ...
Disturbing... I must admin it: I'll never be a Haskell Guru (tm). Cristiano