see [[FastToType]]