cardinality
cardinality is a sister project: a calculator that counts the values a Scala type admits and reports, inside your build, whether each change shrank that state space or grew it.
Its advice for narrowing a type — replace a free-form record with the capability the code actually needs — is the default in Fixed, where code is written against capabilities and concrete data is the compiler's choice.