instance Typeable Infer.Payload