Type Theory Forall #62 – Dependent Haskell – Vladislav Zavialov [video]