{F : Type u_1} →
  {α : Type u_2} →
    {β : Type u_3} →
      [inst : TopologicalSpace α] →
        [inst_1 : Zero β] →
          [inst_2 : TopologicalSpace β] →
            [inst_3 : FunLike F α β] →
              [CompactlySupportedContinuousMapClass F α β] → CoeTC F (CompactlySupportedContinuousMap α β)