GHC MR !11112 makes it so that one needs to enable the (new)
TypeAbstractions extension in order to use type applications in
constructor patterns. The old behaviour (ScopedTypeVariables + TypeApplications)
is still supported, but it emits a warning, which causes sbv to fail
to build due to -Werror.

In addition, the changes in GHC MR !11112 mean that the use of invisible
binders in type declarations requires the TypeAbstractions extension
to be enabled.