improve typeclass instances
add scalex exceptions (for Try)
introduce query Area