Simon Jakobi

I've checked that CI works in https://github.com/sjakobi/bloomfilter/pull/1.

Since the sole maintainer, @bos, hasn't been active on GitHub for a while, it would probably be best if someone would volunteer to [take over](https://wiki.haskell.org/Taking_over_a_package) and maintain this package. FWIW,...

As a Hackage trustee, I have created a Hackage revision to prevent users from running into this build error: https://hackage.haskell.org/package/bloomfilter-2.0.1.0/revisions/

> As a Hackage trustee, I have created a Hackage revision to prevent users from running into this build error: https://hackage.haskell.org/package/bloomfilter-2.0.1.0/revisions/ Actually I had made a mistake in this revision....

@bbarker I think the errors you posted suggest that the `dhall` version you used could not handle the [new union literal syntax](https://github.com/dhall-lang/dhall-lang/wiki/Migration%3A-Deprecation-of-old-union-literal-syntax).

Since `protolude` depends on `mtl` too, I think this issue is blocked on https://github.com/haskell/mtl/issues/86 for now.

As a Hackage trustee I have revised the affected versions on Hackage. See e.g. https://hackage.haskell.org/package/xeno-0.5/revisions/.

I like the `env:X as UnionType` idea! > The main issue I can foresee with both approaches is that the contents of the import would no longer type-check in isolation....

https://github.com/dhall-lang/dhall-haskell/issues/1813 is related.

If we have exhaustiveness checking, I believe we'll also need a way of expressing "I know this field exists but I don't want to use it" without opting out of...