Title: Faithful Type