u = (_t1::(?callStack::GHC.Stack.Types.CallStack) =>
          ST s (forall s'. ST s' a))