4500.purs

module Main where

import Prelude

import Data.Reflectable (class Reflectable, reflectType)
import Type.Proxy (Proxy(..))
import Effect.Console (log)

reflect :: forall @t v . Reflectable t v => v
reflect = reflectType (Proxy @t)

use :: String
use = show { asdf: reflect @"asdf" }

main = log "Done"