Hi, <div><br></div><div>I would to create a list of tuples (or something similar) of invertible functions</div><div><br></div><div>[((a -&gt; b), (b -&gt; a)), ((b -&gt; c), (c -&gt; b)), ....</div><div><br></div><div>Such that I could call</div>
<div><br></div><div>forward invertibleFuctionList domainValue = ? -- composite all the functions</div><div>backward invertibleFuctionList rangeValue = </div><div>    forward (reverse invertibleFuctionList) rangeValue  -- or something similar</div>
<div><br></div><div><br></div><div>I would also like to concat them. This sounds like a job for GADT that someone might have already tackled. Any ideas?</div><div><br></div><div>-Jonathan</div>