This is a wild one. So, currently typescript has no ability to define a function that returns some generic structure
with the generic applied as one of the function parameters. To get around this we use a "Higher Kinded Type Encoding"
and this structure is the base template for that.
If you are implementing a type that extends Applicative, you will want to define a companion HKT Encoding so the
.and() methods chaining behaviour works correctly
This is a wild one. So, currently typescript has no ability to define a function that returns some generic structure with the generic applied as one of the function parameters. To get around this we use a "Higher Kinded Type Encoding" and this structure is the base template for that.
If you are implementing a type that extends Applicative, you will want to define a companion HKT Encoding so the
.and()methods chaining behaviour works correctly