[…] we do not have type-level lambdas.
…my mistake - after seeing records and fields mentioned in the transcript for that presentation by Hickey for the third time, I stopped reading and simply assumed his criticism of Haskell was connected in some way to its ongoing records saga.
As for sort type-level lambdas - from 2018:
…while it isn’t the paper I was looking for, it does pose the same question - what happened?