playing around with abstract interpreters and effect systems