Reminds me of dependent types: https://en.wikipedia.org/wiki/Dependent_type