Hi, I would like to declare a type class instance through the TemplateMonad but it seems that this is not currently doable, is that correct? In this case, Is there something more fundamental to why it's not possible or it's just something that is not implemented yet?
You can, the command is
You first define your instance using
tmDefinition, and then call
tmExistingInstance (so it's two commands rather than one)
ooh so that's what that is. Thanks!
Last updated: Sep 25 2023 at 14:01 UTC