Hello,<br><br>    Does there exist Haskell to generate a finite free category from a finite multipath graph with loops?<br><br>Thank you,<br><br>Vasilki <br>