Some definable types that cannot be amalgamated - Martin Hils; Rosario Mennuni (2022)