Applying types should be strict when type guessing is strict