fix for experiments;
Introduce MayFail monad;