ParentFull threaddylanowen·This is how type systems work, you ground them in a strong theoretical foundation then build on top of that for actual consumption.View on HN