<br>Hello everyone, I'm working on a game engine in Haskell. The thing is, while I want to write the architecture in Haskell, I'm thinking of using something else as the actual scripting language.<br><br>Long story short, how would I represent a type system in Haskell? I've gotten _something_ together that works a bit like this:<br><br>```<br>data Type = -- ...all possible types<br>data Value = -- ...all possible types again<br>data TypedValue = TypedValye Type Value<br>```<br>But I'm concerned if this is the ideal way of doing things, particularly when I get to complex types like structs or tagged unions.<br><br>Any help would be appreciated.<br><br>Sent from Proton Mail mobile<br><br><br>