foo x = x :: Int

bar x =
  Just x ::
    Maybe String