úÎì!      ] is a parsimonious transformer that returns (Original x) only if x is the original argument. 8This must follow the law that TransMR . TransRM . t = t The disadvantage of  compared to 0 is ensuring the above law and that sharing for * Original results is actually being done. ' which implement sharing correctly are proper implementations of  / is a parsimonious transformer that can return  ) when the transformation is an identity. If the result is  t then the result t2 might or might not be identical to the argument.   $ creates a proper implementation of  from any   $ creates a proper implementation of & only from a proper implementation of   : is a helper function used with Applicative to ensure the  computed by   are proper implementations.           Transhare-0.9Data.Transhare TransharetransMtransRTransRTransM TransResult TransformedOriginalgetTranstransMRtransRMfromOtransResult_lawsbase Data.MaybeNothingJust