`staticIota` already exists in typecons. Maybe you should make it package and re-use it?