let
mk_slack k sl =
Slack
(k, sl)