module Applicative : sig ... endval instance :
unit ->
('t0
* 't0 Applicative.t
* ('t1
* 't1 Applicative.t
* ('t2
* 't2 Applicative.t
* ('t3
* 't3 Applicative.t
* ('t4
* 't4 Applicative.t
* ('t5
* 't5 Applicative.t
* ('t6
* 't6 Applicative.t
* ('t7
* 't7 Applicative.t
* ('t8
* 't8 Applicative.t
* ('t9
* 't9 Applicative.t
* ('t10
* 't10 Applicative.t
* ('t11
* 't11 Applicative.t
* ('t12
* 't12 Applicative.t
* ('t13
* 't13 Applicative.t
* ('t14
* 't14 Applicative.t
* ('t15
* 't15 Applicative.t
* ('t16
* 't16 Applicative.t
* ('t17
* 't17 Applicative.t
* ('t18
* 't18 Applicative.t
* ('t19
* 't19
Applicative.t
* ('t20
* 't20
Applicative.t
* ('t21
* 't21
Applicative.t
* (
't22
* 't22
Applicative.t
* (
't23
* 't23
Applicative.t
* (
't24
* 't24
Applicative.t
* (
't25
* 't25
Applicative.t
* (
't26
* 't26
Applicative.t
* (
't27
* 't27
Applicative.t
* (
't28
* 't28
Applicative.t
* (
't29
* 't29
Applicative.t
* (
't30
* 't30
Applicative.t
* (
't31
* 't31
Applicative.t
* unit))))))))))))))))))))))))))))))))
Traverse__.Traverse_interface.desc