Raise language version to GHC2021
Support GHC 9.4
Employ Hedgehog's annotate function for better error output
annotate
Initial release