make dematerialize infer everything