Module type Higher_kinded.S8
type (_, _) higher_kindedtype ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) ttype witness8type 'z witness7 = ('z, witness8) higher_kindedtype ('y, 'z) witness6 = ('y, 'z witness7) higher_kindedtype ('x, 'y, 'z) witness5 = ('x, ('y, 'z) witness6) higher_kindedtype ('a, 'x, 'y, 'z) witness4 = ('a, ('x, 'y, 'z) witness5) higher_kindedtype ('a, 'w, 'x, 'y, 'z) witness3 = ('a, ('w, 'x, 'y, 'z) witness4) higher_kindedtype ('a, 'v, 'w, 'x, 'y, 'z) witness2 = ('a, ('v, 'w, 'x, 'y, 'z) witness3) higher_kindedtype ('a, 'u, 'v, 'w, 'x, 'y, 'z) witness1 = ('a, ('u, 'v, 'w, 'x, 'y, 'z) witness2) higher_kindedtype ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) witness = ('a, ('t, 'u, 'v, 'w, 'x, 'y, 'z) witness1) higher_kinded
val inject : ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) t -> ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) witnessval project : ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) witness -> ('a, 't, 'u, 'v, 'w, 'x, 'y, 'z) t