WIP: use fused types