error. Num doesn't depend on Eq and Show anymore