Type Definition higher_order_core::Fun

type Fun<T, U> = <U as Ho<T>>::Fun;

Used to declare functions in a more readable way.