@sliminality@types.pl nicolaas _ 0 = (1,0) nicolaas govert debruijn = (debruyn, prof−dick*debruyn) where (dick,phd) = govert `divMod` debruijn (prof,debruyn) = nicolaas debruijn phd