grep n []               =   []
grep n (x:xs)
  | isInfixOf pattern x =   format n x
                          : grep (n+1) xs
  | otherwise           =   grep (n+1) xs