pmmh : MonadInfer m => (n_mhsteps : Nat) -> Nat -> Nat -> Traced m b -> (b -> Sequential (Population m) a) -> m (Vect (S n_mhsteps) (List (Log Double, a)))
Particle Marginal Metropolis-Hastings sampling.