Dependent Types now almost batteries-included in GHC Haskellucsd-progsys.github.io·6 pts·ghostwriter·0