Improve de Bruijn term Show instance