Added "Show" constraint (no longer implied by Num).