Implement Partial Type Signatures