Finally getting errors to surface correctly!
- Pure win! This is using recursion to the max.
- TODO : see if we can lift a Tuple4 as method arguments.