I'm not sure most languages get a vote here.

They can't even represent Fuse's Functor example, i.e.

  f: A -> B, x: F[A]