@Elizafox
Type theory? My nails aren’t dry yet.