Describir: Estudio del lenguaje LiquidHaskell.