caAlt :: (a -> Exp -> Exp) -> a -> Alt -> Alt