Workaround for the GHC 8.2.1 attribute generation bug
Add tests checking run-time behaviour of generated code