class SemiringRecord exists <3

Main.purs

module Main where

import Prelude

import Effect (Effect)
import TryPureScript (h1, text, render)

main :: Effect Unit
main =
    render $ h1 $ text $ show $ {a:9, b:3} * {a: 2, b:8}