implicit args in functor_id, functor_comp