Без заголовка

Например, недавно написал пост на тему использования нововведений в систему типов для описания структур БД.