Не могу понять почему в этом коде ambiguous type variable `a'

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

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