Huge functorization, because we can!