Implies [[FastToType]]