playing around with reverse for path
test for non-compilation using shapeless' illTyped macro