@hackage / vinyl-loeb

Loeb's theorem for extensible records.