shame to lose the type here. Why do we need to?