higher

Library for higher-kinded programming.
IN THIS PACKAGE
Module Higher . Newtype4

Parameters

module T : sig ... end

Signature

type ('a, 'b, 'c, 'd) s = ( 'a, 'b, 'c, 'd ) T.t
type t
val inj : ( 'a, 'b, 'c, 'd ) s -> ( 'a, ( 'b, ( 'c, ( 'd, t ) app ) app ) app ) app
val prj : ( 'a, ( 'b, ( 'c, ( 'd, t ) app ) app ) app ) app -> ( 'a, 'b, 'c, 'd ) s