module Memory where

-- | Class of things whose size in memory is known.
--
-- (This can be an approximate size, but should be no larger than the
-- memory used to reprecent the thing.)
class DataSize t where
	-- ^ Size in bytes
	dataSize :: t -> Integer