singletons-base-3.2: tests/compile-and-dump/Singletons/T323.hs

module T323 where

import Data.Type.Equality
import Prelude.Singletons

test :: f .@#@$$$ (g .@#@$$$ h) :~: f .@#@$$$ g .@#@$$$ h
test = Refl