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