Title: Gospel in Types