 a s body)  = (if rp==0 then id else parise) $
                                ("λ"++a++":"++prns s++"."++prnt' 0 0 body)
prnt' lp rp (Variab
prnt' lp rp (Lambda a s body)  = (if rp==0 then id else parise) $
                                ("λ"++a++":"++prns s++"."++prnt' 0 0 body)
prnt' lp rp (Lambda a s body)  = (if rp==0 then id else parise) $
                                ("λ"++a++":"++prns s++"."++prnt' 0 0 body)