Unify param and returns annotation