singletons-1.0: tests/compile-and-dump/Singletons/Maybe.hs

{-# OPTIONS_GHC -fno-warn-unused-imports #-}

module Singletons.Maybe where

import Data.Singletons.TH
import Data.Singletons.SuppressUnusedWarnings
import Prelude hiding (Maybe, Nothing, Just)

$(singletons [d|
  data Maybe a = Nothing | Just a deriving (Eq, Show)
 |])