Hmm actually, `reified` requires the function to b...

# announcements

[karelpeeters]

Hmm actually, reified requires the function to be inline so it's probably more complicated than that.