TIN: primrec priklady