Types not used as expected when compared by Petrichor