Implement trans-dots for HSequential