Extend the type by applying function f to it.
f
HKT2<KT, A, Z> extend<Z>(Z Function(HKT2<KT, A, B> t) f);