https://123dok.org/document/wq2p322y-heavily-separable-functors.html