úΙSafe -;<=>?FT,Class 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.1-Hs3KOj8oyqoLUOprL1eauwControl.DotDotDot DotDotDotReturnReplace...IsFun…$fDotDotDotaFalse$fDotDotDot(->)True