Snippets tagged phantom types