Akii · November 12, 2018 16:16
diff --git a/NT.hs b/NT.hs
 newtype NT = NT String
 
 foo :: Maybe NT
 foo = Just (NT "test")
 
 bar :: Maybe NT -> Maybe String
 bar = undefined -- ??? how to do this?
 
 -- this would work but it verbose for multiple data constructors
 bar (Just $ NT s) = Just s
 bar Nothing = Nothing
diff --git a/Solution.hs b/Solution.hs
 unNT :: NT -> String
 unNT (NT string) = string

 bar = fmap unNT
	newtype NT = NT String

	foo :: Maybe NT
	foo = Just (NT "test")

	bar :: Maybe NT -> Maybe String
	bar = undefined -- ??? how to do this?

	-- this would work but it verbose for multiple data constructors
	bar (Just $ NT s) = Just s
	bar Nothing = Nothing