hbral A library for hetergeneous binary random-access lists in Haskell. Ported from the Agda code presented in the eponymous paper.