s: type aliases