Здравствуйте, eks314, Вы писали:

E>

E>f :: Storable a => a -> (a, Int)
E>f x = (x, sizeOf (undefined :: a)) 
E>

E>Обяъясните, пожалуйста.
E>Я считаю, что из контекста вызова f тип a должен быть выведен.

А чему же равен a?
Я в Хаскеле не силён, но почему бы не написать sizeOf x ?