createOpen :: GInfo -> FilePath -> ConvFunc -> LibFunc -> Maybe (IO ())
createOpen gi file convGraph showLib = Just (
  do
    maybeFilePath <- fileOpenDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> do
        openProofStatus gi fPath convGraph showLib
        return ()
      Nothing -> fail "Could not open file."
  )
createOpen :: GInfo -> FilePath -> ConvFunc -> LibFunc -> Maybe (IO ())
createOpen gi file convGraph showLib = Just (
  do
    maybeFilePath <- fileOpenDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> do
        openProofStatus gi fPath convGraph showLib
        return ()
      Nothing -> fail "Could not open file."
  )
createOpen gi file convGraph showLib = Just (
  do
    maybeFilePath <- fileOpenDialog file [ ("Proof", ["*.prf"])
                                         , ("All Files", ["*"])] Nothing
    case maybeFilePath of
      Just fPath -> do
        openProofStatus gi fPath convGraph showLib
        return ()
      Nothing -> fail "Could not open file."
  )