# Parametric types: complex use of multiple parameters

**URL:** <https://discourse.julialang.org/t/parametric-types-complex-use-of-multiple-parameters/2152>\
**Category:** General Usage\
**Tags:** question, parametric-types\
**Created:** [February 17, 2017, 1:24pm UTC](https://discourse.julialang.org/t/parametric-types-complex-use-of-multiple-parameters/2152 "2017-02-17T13:24:47Z")\
**Posts on this page:** 1\
**Showing post:** 4

<div class="post-metadata">

**Author:** ![Steven\_Sagaert](https://sea2.discourse-cdn.com/julialang/user_avatar/discourse.julialang.org/steven_sagaert/32/29578_2.png) [@Steven\_Sagaert](https://discourse.julialang.org/u/Steven_Sagaert)\
**Post date:** [February 17, 2017, 2:00pm UTC](https://discourse.julialang.org/t/parametric-types-complex-use-of-multiple-parameters/2152/4 "2017-02-17T14:00:28Z")

</div>

This related discussion (although the question is about a more general case) might be useful:

> [@Are there any (long term) plans to add higher order generics (a.k.a. higher kinded types) to Julia?](https://discourse.julialang.org/t/are-there-any-long-term-plans-to-add-higher-order-generics-a-k-a-higher-kinded-types-to-julia/1570):
>
> Higher order generics are useful to write very generic libraries over container data structures. In Julia such a type would look like C1{C2{T}} with C1 & C2 container types (Arrays,Lists,…) for a second order type. There could be even more abstract n-order types. If we ignore very theoretical languages like Agda,Idris,Coq, the only languages that have this - that I know of - are Haskell & Scala. Both are very powerful languages. I think Julia could benefit from such a feature as well. I wonde…

---

_[View the full topic](https://discourse.julialang.org/t/parametric-types-complex-use-of-multiple-parameters/2152)._