Total in FP and OOP