Add MaybeK type in the launcher lib

lib/launcher/cardano-wallet-launcher.cabal

@@ -46,10 +46,11 @@ library
   hs-source-dirs:
       src
   exposed-modules:
-      Cardano.Launcher
-    , Cardano.Launcher.Node
-      Cardano.Launcher.Wallet
-    , Cardano.Startup
+    Cardano.Launcher
+    Cardano.Launcher.Node
+    Cardano.Launcher.Wallet
+    Cardano.Startup
+    Data.MaybeK
   if os(windows)
     build-depends: Win32
     other-modules: Cardano.Startup.Windows

lib/launcher/src/Data/MaybeK.hs

@@ -0,0 +1,30 @@
+{-# LANGUAGE DataKinds #-}
+{-# LANGUAGE GADTs #-}
+{-# LANGUAGE StandaloneDeriving #-}
+{-# LANGUAGE DeriveFunctor #-}
+
+module Data.MaybeK
+    ( MaybeK (..)
+    , IsMaybe (..)
+    , maybeFromMaybeK
+    )
+where
+
+import Prelude
+
+-- | A type level tag to indicate whether a value is present or not.
+data IsMaybe = IsJust | IsNothing
+
+-- | A Maybe carring the type level tag.
+data MaybeK k a where
+    NothingK :: MaybeK IsNothing a
+    JustK :: a -> MaybeK IsJust a
+
+deriving instance Show a => Show (MaybeK k a)
+deriving instance Eq a => Eq (MaybeK k a)
+deriving instance Functor (MaybeK k)
+
+-- | Convert a MaybeK to a Maybe, dropping the type level tag.
+maybeFromMaybeK :: MaybeK k a -> Maybe a
+maybeFromMaybeK NothingK = Nothing
+maybeFromMaybeK (JustK x) = Just x