Parameter Applicative.State

type t