Notions by Type