Изоморфизм Карри-Говарда — чудесный инструмент для эскапизма.
Не хуже HoMM, между прочим.