/** * Check whether two Maybe values be equal. * @param Maybe $that Inner types should match! * @return bool * @todo Make this compatible with setoid inner values. */ public function equals(Maybe $that) : bool { return $that instanceof Just && $this->value->equals($that->fork(null)); }