Mattia Paterna

> Just to rephrase the underlying problem is that e.g. `"1@ 2" :: Pattern Int` doesn't work. True that! I remember I came up some time ago with the same...

> I am trying to avoid defining these until I start adding LLMs from other providers. Any idea on how we can make this generic enough beforehand? Yes: you can...

I think I don't understand the motivation, perhaps it is something related to the ML magic. However, I would recommend finding a generalised behaviour for this method.