First-class sum- and product-types for Haskell (nikita-volkov.github.io)