let is_slack = function Slack _ -> true | _ -> false