I would call that evaluating x twice (incidentally creating
two separate evaluations of one pure action description),
but I'd like to better see your perspective here.
x is only evaluated once, but executed twice. For IO, that
means magic. For other types, it means different things. For
Identity, twice = id!