Title: Gregg applied typing