Reproducer for https://github.com/ucsd-progsys/liquidhaskell/issues/2132
Latest commits.
Builders behind this project.
