Haskell

Tias: I was trying to do a master's project actually on modeling time in a monadic constraint or something. But it turned out it was very, very hard to kind of write things because it was just a very complicated stack. So that's when I got into the whole fifth synthesis thing, right? It's like, here's a perfect place for us to take that information that we already have and run some kind of synthesis to come up with what actually can be used there. In languages like Haskell, because of all the types, there's usually not that many things. If you look at like single identifiers, right? Did you have any exposure to acto when you were