Maybe, Either functors