Type Definition Fun
ha
type Fun<T, U> = <U as Ho<T>>::Fun;
Used to declare functions in a more readable way.