import Set;

public set[set[&T]] PowerSet(set[&T] s) = power(s);