From a great Idea of Fra... How we can implement an _intermediate_ abstract type that solves some _tasks_ that are COMMON to many U=R(U)...