Num does not imply Typeable