Renaming type variable back to 'a'