#import std
#import nat
#import flo

nth_diff "n" = rep"n" minus*typ