WTF type stuff with left projection casts
Mercilessly got rid of Either and Validation - too cumbersome to wage a fullscale war against the poorly designed type system