Main.purs

module Main where

import Prelude

import Effect (Effect)
import Data.Foldable (fold)
import TryPureScript (h1, text, render)

data Nat m n = Nat (m ~> n)

data NatR m n = NatR { nat :: (m ~> n) }

use :: forall m n. Nat m n -> m Unit -> n Unit
use (Nat nat) = nat 

useR :: forall m n. NatR m n -> m Unit -> n Unit
useR (NatR { nat }) = nat

main :: Effect Unit
main =
    render $ fold
      [ h1 (text "Try natural transformation in records!")
      ]