minor contravariance improvements
validation basic implemented - failprojection monadic funcs missing