Haskell - Converting untyped to GADTs

Hello. I have worked for a few months on a commercial Haskell project. And I also did a similar project here on freelancer.com about a week ago. :) Converting code to use GADTs shouldn't be too difficult if there's not too much code so I'll probably deliver it in a few hours.

Hello Sir, I am a computer science tutor, I teach (among others) Functional Programming in Haskell, Prolog and Advanced Algorithms. I have done many projects like this, and I'm one of the top Haskell developers, and you can check by clicking on my profile picture. Please contact me for more details when possible. I look forward to work for you, Sir. Best Regards.

we can negotiate on the bid cost required time to understand time its can be done less than estimated time we can talk on this no 9405925917

I am Haskell expert.. Can you specify is problem modeled or not. ..? I could model GADT for you.