No. This is the exception with `_`:
# pattern-matching
m
No. This is the exception with `_`:
r
Even when you record the expression back in the trace?
m
So far I have the type info recorded, but I think I still need to record more info than just the type info. I think I found a decent way to find the type info as well vs the really bad hard-coding I'm doing at the moment. Starting Friday, I'll be freed up to take a deeper look at potential things I'm still missing in analysis phase. At the moment I've been busy and haven't had a chance to inspect much further. This upcoming weekend I will have a good few days to focus on this. 🤞🏻 I'm looking forward to getting back to it. 🙂