no more sum data types (for typeable(?))