higher_kinded
Higher_kinded.Array
type higher_kinded
val inject : 'a Base.Array.t -> ('a -> higher_kinded) t
val project : ('a -> higher_kinded) t -> 'a Base.Array.t