There are all sorts of useful functions that would otherwise require
explicit type applications which we work around by passing undefined and
ignoring its value. (See
http://www.haskell.org/pipermail/libraries/2010-October/014742.html for a
prior discussion of why this is, how the use of undefined
Can't you do something like have the kind be unlifted? for instance
data Proxy (a :: #)
data Type1 :: #
data Type2 :: #
John
On Tue, Feb 7, 2012 at 12:19 PM, Douglas McClean
douglas.mccl...@gmail.com wrote:
There are all sorts of useful functions that would otherwise require
explicit