14 Jan
2013
14 Jan
'13
1:54 p.m.
Simon Peyton-Jones
x1 :: [Int]
x2 :: Char -> Int
x3 :: T Int
x4 :: S IO Int
Can we convert these into the corresponding forms where the Int is replaced by Age? Alas, not easily, and certainly not without overhead
Maybe a stupid question: Can unsafeCoerce accomplish (albeit in an unsafe way) the desired Int-to-Age type conversion for x1,x2,x3,x4 already now? How does unsafeCoerce relate to the proposal at hand? Cheers, hvr