The biggest limitation was lack of Higher Kinded T...

# functional

[raulraja]

The biggest limitation was lack of Higher Kinded Types in Kotlin which we are emulating with a technique similar to what derive4j uses. For any datatype that is ment to be used in a HKTs position we have inner classes like in here https://github.com/FineCinnamon/Katz/blob/master/katz/src/test/kotlin/katz/free/FreeTest.kt#L9