Why `TYPE` here?