Can you give a concrete example? Generally if there's something that Haskell's type system won't allow you to do, you shouldn't be doing it in Python either.