Martin Hofmann’s case for non-strictly positive data types - Ulrich Berger (2019)