A micro-type implementation in Java