tfm1 :: (ExpSYM repr, MulSYM repr) => repr
tfm1 = add (lit 7) (neg (mul (lit 1) (lit 2)))
tfm1 :: (ExpSYM repr, MulSYM repr) => repr
tfm1 = add (lit 7) (neg (mul (lit 1) (lit 2)))
tfm1 = add (lit 7) (neg (mul (lit 1) (lit 2)))