implemented basic validation monadic operations using extension methods