We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
For now, see https://github.com/githwxi/ATS-Postiats/wiki/Frequently-asked-questions#i-have-two-different-types-being-used-together-in-the-same-data-structure-and-they-typecheck-is-this-a-bug