for anyone (like me) wondering how this is done with :dets
:dets
:dets.foldl(fn elem, acc -> [elem | acc] end, [], t)