<div dir="ltr">Hi, Agda dev team. <br><br>I&#39;m interested in creating some tools which mind help with Agda-Haskell interoperation. In particular I interested in a tool for generating signatures in Agda for compiled Haskell functions and algebraic datatypes. For this purpose I need to extract type information from Haskell somehow, and generate Agda code. I decided to use Agda compiler itself (Agda.Syntax.Concrete) for code generation, but I still don’t know how to read Haskell libraries. And I wondering, probably Agda compiler is already able to extract type information from Haskell somehow? If it does, could you point me corresponding place in Agda compiler’s code?<br>
</div>