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

module T163 where

import Data.Singletons.TH

$(singletons [d| data a + b = L a | R b |])