topolarity:ct/functor-code_typed