Text this: Proper Functors and Fixed Points for Finite Behaviour