singletons-base-3.3: tests/compile-and-dump/Singletons/T172.hs

module T172 where

import Data.Singletons.TH
import GHC.TypeLits.Singletons
import Prelude.Singletons

$(singletonsOnly [d|
  ($>) :: Natural -> Natural -> Natural
  ($>) = (+)
  |])