Closed
Description
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 😉
{{ message }}
No one assigned
No type
No projects
No milestone
None yet
No branches or pull requests