This is the type of feature that makes me want to use F#. Really great work, I would love to see similar work replicated in other languages (python's type check

This is the type of feature that makes me want to use F#. Really great work, I would love to see similar work replicated in other languages (python's type checking libs especially). As an outsider it feels like the Bazel/Buck/Pants approach applied to type checking