Values, Types & Kinds  - Dylan Just - BFPG 2018-09
Channel: Brisbane Functional Programming Group
Date: 2018-09-26

See the slides here: https://github.com/techtangents/kinds-talk/blob/master/values-types-and-kinds.pdf