Отправить по sms: de Bruijn Notation as a Nested Datatype