[assbuttbuttass]

Hmm I wasn't familiar with join, but it looks like you still need join + fmap for the construction? I believe fmap would also need a generic method

[_jackdk_]

Yeah you would, that's true.