deftype thunk