mention type aliases, and ws