Recursive higher order function type in Scala 3...

Why can the Monad interface not be declared in Java?...

Compile-time map on a type list...

Why can I pass partially applied type constructors only in type parameter position?...

Pass parametric type as a type argument to another type in TypeScript or Flow...

Generalized HM vs. Higher-Order Unification...

Functor implementation for types with more than one type...

Allowing parameterized classes/types in Scala/Java...

Is there a way to capture a tuple of higher-order functions in Haskell?...

Can I write a higher order type for a -> b -> *?...

Mapping over constrained existentially qualified higher order type...

Disambiguation of higher kinded type vs higher order type...

Pattern match on functions on the type level is possible, but not on the value level, why is this di...