def readFile(path):
    """
    readFile :: str -> str
    The readFile function reads a file and returns the contents of the file as a string.
    """
    f = open(path, 'r')
    c = f.read()
    f.close()
    return c
