Snippets tagged type-level computations