# Functions
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
No description provided by the author
HKTA = HKT[A] HKTAA = HKT[func(A)MA] HKTRA = HKT[MA].
HKTA = HKT<A> HKTB = HKT<B> HKTAB = HKT<func(A)B> HKTRB = HKT<MB>.
No description provided by the author