Refinement types for Haskell | Publicación