Testing a function export w nested types