Generic SIP types for Haskell (for both client and server code)