the idea would then be to have explicit extension points at the type level