0.1.5
add Condition monad