dirbaio[m]: ```
where:
    T: U
```