[WIP] Reduction types