Refactor Show instance declaration of Exp
Remove extra parentheses around if condition