It is only useful in languages with sufficiently expressive type systems, like Haskell. Otherwise you quickly hit a wall where it's impossible or impractical t

It is only useful in languages with sufficiently expressive type systems, like Haskell. Otherwise you quickly hit a wall where it's impossible or impractical to express your idea in the language's type system, the same complaint that python programmers have when they try to write Java.