Haskell parser for Mizar