re-interface full-goal type