What is a higher kinded type in Scala?...

Does Scala support partial application of type constructors?...

Technical implementation of pattern matching vs. guards...

Point-free function to add 2 elements to the list / double application of (:) list data constructor ...

In Scala 3/Dotty, is it possible to write a kind/type constructor that takes a value with a unique p...

Scala Higher Kinded Types for Traits and Method Parameters...

Why Rust can't coerce mutable reference to immutable reference in a type constructor?...

scala - Higher kinded type in trait member: _$1 takes no type parameters, expected: 1...

Difference in inference between [F <: List[A], A] and [F[_] <: List[A], A]...

Applying type to a type constructor in macro throws exception...

Difference between type constructors and parametrized type bounds in Scala...

Understanding of bifunctor from Category Theory for Programmers - Ch. 8...

How to convert my own Data constructor to List in Haskell...

Type Lambda on context bound and the role of type alias...

Type constructor parameter inference...

Type constructor bounded by proper type...

Mere presence of implicit conversion makes the program compile despite never being applied...

Why do proper types Any and Nothing fit type constructor shape F[_] when they are different kinds?...

Difference between F[_] and F[T] In Scala when used in type constructors...

Difference between [A: C] and [A[_]: C] context bounds...

Non-unary type constructor bounded by unary type constructor...

What is a "kind" in the context of Type Systems?...

What is a unary type?...

What is the type constructor for list of tuples?...

Typo in Learn you a Haskell for Great Good?...

Functor Instance for Type Constructor with Two Parameters in Scala...

Why is the following type declaration and/or instatiation not working in Julia 1.0?...

FnToProduct not working with a Type Constructor...

Underscores in type bounds on type constructors...

Why does foo[F[_], A](ff: F[A]) accept foo(1)?...