hmm, is this not how
concat is meant to work?
Maybe#concatonly applies to
atypes which satisfy the Semigroup constraint (i.e. provide a
This is valid:
Maybe String ~> Maybe String -> Maybe String
This is invalid:
Maybe Number ~> Maybe Number -> Maybe Number
S.concatis a thing
S.concatactually already exists, @Bradcomp, but as you say the other FL functions are coming soon!
R.reduce(S.concat, S.Nothing(), [S.Just('foo'), S.Nothing(), S.Just('baz'), S.Just('quux')])
Then if we use this
concat some other
(Applicative m, Monoid m) => m to it than the result should be this other thing
f(0).concat(Identity()) // Identity()
empty represents empty for any monoid
emptyvalue and we want to get an actual empty value, how would we do so? How would we get from
'', for example?
idso it returns