Have a look at this typeclass, for instance: https://hackage.haskell.org/package/base-4.12.0.0/docs/Type-Reflection.html#t:TypeRep https://hackage.haskell.org/

Have a look at this typeclass, for instance: https://hackage.haskell.org/package/base-4.12.0.0/docs/Type-Reflection.html#t:TypeRep https://hackage.haskell.org/package/base-4.12.0.0/docs/Type-... If that's to complicated, just create an ADT of all the python values and translate Pickle's implementation directly.