<div dir="ltr">I want to convert lambda expressions into a vocabulary of monoidal 
categories, so that they can be given multiple interpretations, 
including circuit generation and timing analysis, and hopefully some 
other far-out alternatives (3D visualization, animated evaluation, etc).
 More specifically, I want a GHC plugin that makes this transformation 
on GHC&#39;s Core language.<br>
<br>
If you know of related work, have suggestions, and/or are interested in collaborating/consulting, I&#39;d love to hear.<br>
<br>
Thanks,<br>
<br>
  - Conal</div>