F[τ]
slide: Bounded type constraints