> Why not just make types psuedo-objects?
With this sort of "just" I could build Paris out of matchsticks