Add: Type signatures