MVar: include Dereferenceable.