17 Jul
2013
17 Jul
'13
6:03 p.m.
Hi, Am Mittwoch, den 17.07.2013, 15:27 -0400 schrieb Edward Kmett:
Now the Data.Void.Unsafe module provides that functionality (as unsafeVacuous) and vacuous itself is provided for compatibility with code that used it, and is left in case we ever get something in Functor that lets us apply newtype coercions directly to the Functor's parameter.
how would lifting newtype coercions to functors help here: vacuous :: Functor f => f Void -> f a Void is not a newtype of a. Greetings, Joachim -- Joachim “nomeata” Breitner mail@joachim-breitner.de • http://www.joachim-breitner.de/ Jabber: nomeata@joachim-breitner.de • GPG-Key: 0x4743206C Debian Developer: nomeata@debian.org