added another test, left it in a failing state after discovering transmute and the raw runST allow aliasing in the state