Conforming closer to monadic signature