reprimBinding ::
  FreshName n =>
  MonadFresh m =>
  Binding k Core.Prim n a ->
  ExceptT (ReprimError n a) m (Binding k X64.Prim n a)
reprimBinding = \case
  Lambda a ns tm ->
    Lambda a ns <$> reprimTerm tm
reprimBinding ::
  FreshName n =>
  MonadFresh m =>
  Binding k Core.Prim n a ->
  ExceptT (ReprimError n a) m (Binding k X64.Prim n a)
reprimBinding = \case
  Lambda a ns tm ->
    Lambda a ns <$> reprimTerm tm
reprimBinding = \case
  Lambda a ns tm ->
    Lambda a ns <$> reprimTerm tm