Swift type modelling the success/failure of arbitrary operations. - antitypical/Result