@feonixrift @jonny it's not esoteric, it's just type theoretic