use dwim_type
should not need to eval this
re-add the test