Gospel in Types