very cool. would be even cooler if you could disguise type annotations as dialyzer annotations :P