Существует ли проблема, из-за которой язык с более высокими типами (HKT) допускает более краткое решение, чем это возможно в любом типизированном языке без HKT?