It is implemented as a "makeFunction" thingy in Global and not as various linked @SpecializedFunction-s - it is heavy, large, not very inalienable but very very specializable. It takes only three objects now and does expensive conversions.