For many years this blog was called Parametricity. I am no longer that interested in type theory, so I am renaming the blog to reflect its new content, which is mostly Marxism. Still it is just the personal blog of me (Izzy Meckler).