Refactor: carry a Type inside SealedAcc