val functor_1 : unit -> (('a, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.tval functor_2 :
unit ->
('a -> 'b, ('c -> 'a) -> ('c, 'index) F.t -> ('b, 'index) F.t)
Preface_laws.Law.tval apply_1 :
unit ->
((unit, 'index) F.t, ('a, 'index) F.t -> ('a, 'index) F.t) Preface_laws.Law.tval apply_2 :
unit ->
(('a, 'index) F.t, (unit, 'index) F.t -> ('a, 'index) F.t) Preface_laws.Law.tval applicative_1 :
unit ->
(('a, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.tval applicative_2 :
unit ->
('a -> 'b, 'a -> ('b, 'index) F.t) Preface_laws.Law.tval applicative_3 :
unit ->
(('a -> 'b, 'index) F.t, 'a -> ('b, 'index) F.t) Preface_laws.Law.tval applicative_4 :
unit ->
(('a -> 'b, 'index) F.t,
('c -> 'a, 'index) F.t ->
('c, 'index) F.t ->
('b, 'index) F.t)
Preface_laws.Law.tval applicative_5 :
unit ->
('a -> 'b, ('a, 'index) F.t -> ('b, 'index) F.t) Preface_laws.Law.tval alternative_right_absorb_1 :
unit ->
(('a, 'index) F.t, ('a, 'index) F.t) Preface_laws.Law.t