bar :: Maybe a -> Maybe a bar a = a