F[τ]
slide
:
Bounded type constraints