Канонические типы в различных областях: Обзор и примеры