Accompanying PureScript demonstration of native ADTs for the 'Algebraic Data Types in PureScript': https://susanpotter.net/software/algebraic-data-types-in-typescript/

Types.purs

module Main (main) where

import Data.Unit (Unit)
import Data.Maybe (Maybe (..))
import Effect (Effect)
import Effect.Console (log)

main :: Effect Unit
main = log "hello world"


--- play with ADTs below

data Foo a
  = Bar { bar :: String }
  | Baz { baz :: Int }
  | Qux { qux :: Boolean, quux :: Maybe a }
  
foo0 = Bar { bar : "wowser" }
foo1 = Baz { baz : 3000 }
foo2 = Qux { qux : true, quux : Nothing }

data Currency = USD | CHF | EUR | JPY