úÎ4ÄSafe ,9:;<=DRClass for defining  recursively on function types.IsFun f is 'True if f has form _ -> _ and 'False otherwise. Alias for .9 9  0control-dotdotdot-0.1.0.0-DUIMC29NfHgGH3RQcB0ovYControl.DotDotDot DotDotDotReturnReplace...IsFun…$fDotDotDotaFalse$fDotDotDot(->)True