Added constraint to prevent generation of spurious `Transposer` instances.