Verifying replicated data types with typeclass refinements in Liquid Haskell | Publicación