To ensure the `Abs` and `Sandboxed` aren't mixed up in a type signature, for example. `DataKinds` would be even better, but we don't have those, so :wink:
To ensure the
AbsandSandboxedaren't mixed up in a type signature, for example.DataKindswould be even better, but we don't have those, so 😉