1 декабря 2015 — анонс, митап, haskell, DataKinds, Type Families, Symbols, type operators, monad transformers