How to Safely Use Extensionality in Liquid Haskell | Publicación