- Switch to using th-compat to support GHC 9.0 and 9.2
- New implementation, forces use of Lift for the result, removes the unsafe typeclass functions, and adds the option to add a custom error message.
- Turn examples into buildable tests, add readme, fix typos in documentation.