On Types Algebras - pokkari, Englanti, 2019