results from debruijn as nested type paper