Any way of doing `f(::T) where Base.issingletontype(T)`?

[Sukera]

There’s nothing built into the language (other than custom trait solutions) that allows you to dispatch on arbitrary predicates, no.