foo x = x::Int
bar x = Just x ::
  Maybe String