type-of-html-1.4.0.1: bench/Compilation/X4.hs

{-# LANGUAGE DataKinds #-}

module Compilation.X4 (run) where

import Compilation

run :: IO ()
run = print . r (Proxy :: Proxy 4) $ helloWorld ()