TypeFunction example: reason about class hierachies

[Adam D. Ruppe]

On Saturday, 24 October 2020 at 20:27:37 UTC, Stefan Koch wrote:
> P.S. getting is(Myclass SuperType == super) to work, requires 
> unreasonably much code.

Is the main blocker there that it only works to make the alias in 
static if?