No need to import Data.Data twice