gistfile1.txt

// [ Scala ]
// You need to tell compiler that F, T, and A are of kinds (*, *) -> *, * -> *, and * respectively.
// See all those underscores.
trait Foo[F[_, _], T[_], A] {
  def foo: F[T[A], A]
}

// [ Haskell ]
// It can infer kinds from context.
{-# LANGUAGE MultiParamTypeClasses #-}
class Foo f t a where
  foo :: f (t a) a

// [ F# ]
// It does not support higher kinds.
failwith "Herp derp"

// [ C# ]
// It does not support higher kinds.
throw new Exception("Herp derp.");