I work on Python and the Pandas data frame  is one of the core data structure that is used in the implementation.  I have been thinking of how I can translate this code in a more robust type checking language such as Haskell, without loosing some of the conveniences Pandas provides. Do you have any suggestions or pointers to this?<p>I would love to encode the business logic into types. But, I am always afraid I might end up in type hell!