Îõ³h$/Noneáú matchable-thBuild an instance of  for a data type.e.g. "data Exp a = Plus a a | Times a a  ''Exp  will create ×instance Matchable Exp where zipMatchWith f (Plus l1 l2) (Plus r1 r2) = pure Plus  * f l1 r1  *Ã f l2 r2 zipMatchWith f (Times l1 l2) (Times r1 r2) = pure Times  * f l1 r1  *( f l2 r2 zipMatchWith _ _ _ = Nothing  matchable-thBuild an instance of  for a data type.e.g. data Sum a b = InL a | InR b  ''Sum  will create Ïinstance Matchable Sum where bizipMatchWith f _ (InL l1) (InL r1) = pure InL  $; f l1 r1 bizipMatchWith _ g (InR l1) (InR r1) = pure InR  $ g l1 r1     +matchable-th-0.1.2.0-FafoVEao4KcC3QXKDE9xjhData.Matchable.THderiveMatchablemakeZipMatchWithderiveBimatchablemakeBizipMatchWith$fMonoidFunUsage2$fSemigroupFunUsage2&matchable-0.1.2-I4DosjWdEJzH13xJD5l5FIData.Matchable MatchableData.Bimatchable Bimatchable