Re: [Haskell-beginners] Haskell wants the type, but I only know the class.

Antoine Latter writes:

An executable, once compiled, cannot really learn about new types without dynamically loading new object code. Which is possible but often tricky.

I don't mind if the user has to re-compile the code to add in their new types. In addition to the daemon, I'm providing a library of functions that they can use when implementing new types, so they'd have to re-compile anyway.