Domain Area should completely statically inference-able, Type-check-able, with no side effects.