Since `Option<A> : OptionKind<A>` and ...

# arrow

[raulraja]

Since Option<A> : OptionKind<A> and OptionKind<A> is the same as HK<OptionHK, A>, this is just because Kotlin does not support higher kinds