Add files, minimal working rewind gun that must be equipped to charge

src/MaybeHelp.hs

@@ -0,0 +1,15 @@
+{-# LANGUAGE TemplateHaskell #-}
+{-# LANGUAGE StrictData #-}
+module MaybeHelp where
+import Control.Lens
+
+-- | Strict maybe
+data Maybe' a 
+    = Just' {_Just' :: a }
+    | Nothing'
+
+fromJust' :: Maybe' a -> a
+fromJust' mx = case mx of
+    Just' x -> x
+    Nothing' -> error "no fromJust'"
+makeLenses ''Maybe'