Type Alias TermI 

pub type TermI<F> = <BlockI<F> as Block<F>>::Terminator;