Create inferencia.hs