 thn els) = (if rp==0 then id else parise) $
                                   "if "++prnt' 0 0 cond
                                 ++" then "++prnt' 0 0 thn
                                 ++" else "++prnt' 0 0 els


prnty :: MonoType
prnt' lp rp (If cond thn els) = (if rp==0 then id else parise) $
                                   "if "++prnt' 0 0 cond
                                 ++" then "++prnt' 0 0 thn
                                 ++" else "++prnt' 0 0 els
prnt' lp rp (If cond thn els) = (if rp==0 then id else parise) $
                                   "if "++prnt' 0 0 cond
                                 ++" then "++prnt' 0 0 thn
                                 ++" else "++prnt' 0 0 els