prog_func_lab Laboratorio de programación funcional 2022 How to complile ghc MicroC.hs --make How to run tests ./exec.sh