[Haskell-cafe] Problem trying to get class Bounded to work

[Jacques Carette]

Bulat Ziganshin wrote:

>malloc :: Storable a => IO (Ptr a)
>malloc  = doMalloc undefined
>  where
>    doMalloc       :: Storable b => b -> IO (Ptr b)
>    doMalloc dummy  = mallocBytes (sizeOf dummy)
>  
>
Is there any reason to not code this as

malloc :: Storable a => IO (Ptr a)
malloc  = mallocBytes $ sizeof undefined
?

Jacques