GADTs

tomland: Bidirectional TOML serialization
    -- ^ January 14, 2019 by Dmitrii Kovanikov
typerep-map step by step
    -- ^ July 11, 2018 by Veronika Romashkina