module Singletons.Maybe where

import Data.Singletons.Base.TH

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

module Singletons.Maybe where

import Data.Singletons.Base.TH

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