Snippets tagged polyvariadic fixpoint