An implementation: https://github.com/jkabrg/type-segregated-pools