singletons-2.4: tests/compile-and-dump/Singletons/BoxUnBox.hs

{-# OPTIONS_GHC -Wno-unused-imports #-}

module Singletons.BoxUnBox where

import Data.Singletons.TH
import Data.Singletons.SuppressUnusedWarnings

$(singletons [d|
  data Box a = FBox a
  unBox :: Box a -> a
  unBox (FBox a) = a
 |])