Using record sytax for Fail{}.