Use primitive records so we get judgmental eta for Typ