On 07.05 01:12, Marc A. Ziegert wrote:
> data Type a
> typeOf :: a -> Type a
> typeOf = undefined
> #define TYPE(a) (undefined::Type (a))
> ...
> sizeOf :: (Storable a) => Type a -> Int
I think the name Proxy is used for this in other places.
data Proxy a = Proxy
class Storable a where
...
[EMAIL PROTECTED]
I'd like to hear some comments about the following ideas; maybe they are
someway obsolete or even useless nonsense.
A few days ago, I thought about abstracting the instance of an object away,
like used in Foreign.Storable.sizeOf::(Storable a)=>a->Int, where only the type
of a