reprimBindings ::
  FreshName n =>
  MonadFresh m =>
  Bindings k Core.Prim n a ->
  ExceptT (ReprimError n a) m (Bindings k X64.Prim n a)
reprimBindings = \case
  Bindings a bs ->
    Bindings a <$> traverse (secondA reprimBinding) bs
reprimBindings ::
  FreshName n =>
  MonadFresh m =>
  Bindings k Core.Prim n a ->
  ExceptT (ReprimError n a) m (Bindings k X64.Prim n a)
reprimBindings = \case
  Bindings a bs ->
    Bindings a <$> traverse (secondA reprimBinding) bs
reprimBindings = \case
  Bindings a bs ->
    Bindings a <$> traverse (secondA reprimBinding) bs