Type choices for identity systems - Haley, Allan