-- | Closes a goal, i.e., removes all the extraneous information that we
-- need only during the build phase.
close :: OpenGoal comp -> Goal QPN
close (OpenGoal (Simple (Dep _ qpn _) _) gr) = Goal (P qpn) gr
close :: OpenGoal comp -> Goal QPN
close (OpenGoal (Simple (Dep _ qpn _) _) gr) = Goal (P qpn) gr
close (OpenGoal (Simple (Dep _ qpn _) _) gr) = Goal (P qpn) gr