Он утверждал, что и завтипы можно, но чтобы это выглядело как в том же идрисе, надо навернуть на хане целый пласт кода с индукциями и прочей фигнёй, дабы продемонстрировать. Потому фулл-фичед примера либо не было, либо я его пропустил. Но отдельные возможности/идеи и всякую магию он показывал, обьясняя что с помощью этого можно достигнуть большего.