file :: MyParser [Definition]
file = do res <- chainr ((:[])<$>lineParser) (tok "\n" >> return (++)) []
          eof
          return res
file :: MyParser [Definition]
file = do res <- chainr ((:[])<$>lineParser) (tok "\n" >> return (++)) []
          eof
          return res
file = do res <- chainr ((:[])<$>lineParser) (tok "\n" >> return (++)) []
          eof
          return res