removed the GHC_TYPEABLE flag