Parameter Suite_applicative.NT

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