Distributed conditional types