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?