Sign in Go Pro

Functional programming in Kotlin with Arrow

Higher Kinded Types

This lesson is for PRO members.

Upgrade today to get access to all the PRO lessons.

Unlock this lesson

Up next



Higher Kinds (also known as Higher Kind Types or Higher Kinded Types) are a high-level abstraction that Kotlin does not support. Learn how Arrow provides them to enable pure Functional Programming over the language.

  • Learn how Arrow emulates Higher Kinds.
  • What they represent and what they abstract over.
  • Learn how they enable Typeclasses and some advanced abstraction FP styles.
  • Arrow data types are Higher Kinds.
  • Syntax provided to convert from Higher Kind representation of a type to its concrete one, and vice-versa, covering both directions.
  • A broad vision on how Higher Kinds are going to help us on following lessons.


There are no comments on this lesson, start the conversation below ...


Lessons in Functional programming in Kotlin with Arrow