replacing Or[A,nil] contracts with Maybe[A]