pinned Running Agents Methodology Functor โ CARL ๐ Lift research methodologies into typed functors