# Structural subtyping

**URL:** <https://discourse.julialang.org/t/structural-subtyping/64354>\
**Category:** New to Julia\
**Tags:** question\
**Created:** [July 9, 2021, 1:53pm UTC](https://discourse.julialang.org/t/structural-subtyping/64354 "2021-07-09T13:53:37Z")\
**Posts on this page:** 1\
**Showing post:** 11

<div class="post-metadata">

**Author:** ![jzr](https://avatars.discourse-cdn.com/v4/letter/j/eb9ed0/32.png) [@jzr](https://discourse.julialang.org/u/jzr)\
**Post date:** [July 10, 2021, 10:57pm UTC](https://discourse.julialang.org/t/structural-subtyping/64354/11 "2021-07-10T22:57:03Z")

</div>

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

> [@Higher-order function argument types](https://discourse.julialang.org/t/higher-order-function-argument-types/7348/3):
>
> 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...](https://github.com/thautwarm/HigherKindedPolymorphisms.jl)**
>
> A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits) - GitHub - thautwarm/HigherKindedPolymorphisms.jl: A refined implementation of Lightweighted Higher Ki...

---

_[View the full topic](https://discourse.julialang.org/t/structural-subtyping/64354)._