-- | Transform a Loaded value into the a Maybe value
loadedToMaybe :: Loaded a -> Maybe a
loadedToMaybe (Loaded v) = Just v
loadedToMaybe :: Loaded a -> Maybe a
loadedToMaybe (Loaded v) = Just v
loadedToMaybe (Loaded v) = Just v