Solution for typeclass Expr