Implementing dynamic datatype conversion in Haskell

Question

I\'m trying to implement a dynamically typed programming languages in Haskell which supports three data types, let\'s call them A, B and C