Structural subtyping

[jzr]

For future readers: some folks have been looking for (and working on) stuff like that

Higher-order function argument types

You may find these related discussions useful. They have pointers to discussions in issues, and other discussions on this forum, and previously Google groups, etc.

GitHub - thautwarm/HigherKindedPolymorphisms.jl: A refined implementation of...