[ouroboros1]

This looks interesting! I get the impression there would not be much friction to implement some of these mechanisms in Haskell.

[solomonb]

I think it would be a challenge without dependent types.