Rewriting Dataframes for MicroHaskell