How to safely use extensionality in Liquid Haskell | Publicación