Full threadVladimirGolovin·Dependent types in Idris, and GADT and type families in Haskell.View on HN