haskell
dependent types
typerep
data structure
GADTs
Posts =<<
typerep
typerep-map step by step
-- ^ July 11, 2018 by Veronika Romashkina