Added type class instances for pure, including embeddings.