Another constructor ifx