Up – preface » Preface_laws » Traversable » For_applicative » Naturality » NT

Parameter `Naturality.NT`

val run : 'a F.t -> 'a G.t