Parameter Fold.P

type t