A function type to dispatch on types instead of classes with partial support for dispatching on optional and keyword argument types.
Why do you think that https://github.com/marcoheisig/sealable-metaobjects is a good alternative to polymorphic-functions