In case anyone is curious about [1], there is a paper called Lightweight higher-...

		saityi on June 8, 2020 \| parent \| context \| favorite \| on: Pain Points of Haskell In case anyone is curious about [1], there is a paper called Lightweight higher-kinded polymorphism -- http://ocamllabs.io/higher/lightweight-higher-kinded-polymor... -- that goes into some of the possible encodings.