Dominic: type finagling