Îõ³h&AÒ Safe-Inferred8P   Safe-Inferred(8äÀ matchable-thÃThis function transforms multiple instance declarations written in StandaloneDeriving3 format to instances derived by TemplateHaskell.Example ´ {-# LANGUAGE DeriveFunctor #-} {-# LANGUAGE StandaloneDeriving #-} [-# LANGUAGE TemplateHaskell #-} data Foo a b = Foo a b (Either a b) deriving (Show, Eq, Functor) To use  for Foo, write as below: á deriveInstances [d| deriving instance Eq a => Eq1 (Foo a) deriving instance Eq a => Matchable (Foo a) deriving instance Eq2 Foo deriving instance Bifunctor Foo deriving instance Bimatchable Foo |]  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.2-1FgLULBx0Pu5m5EjJfCUxbData.Matchable.THData.Matchable.TH.MatcherderiveInstances makeLiftEq makeLiftEq2deriveMatchablemakeZipMatchWithderiveBimatchablemakeBizipMatchWithMatcherleftPatrightPatbodyExpadditionalInfoaddInfo matcherToFun matcherExpr funMatcher liftMatcher liftMatcher2combineMatchers(matchable-0.1.2.1-Dil9A3jcWN0LSg0aPeSQzLData.Matchable MatchableData.Bimatchable Bimatchable