Flexible binds for combining musical patterns

[atravers]

o_- …I 've seen this before:

How to structure modules providing instances

I have a few modules providing functions working on a datatype called Pattern, and am making a new similar-but-different datatype called Sequence. Patterns are like signals - a function from time to elements. Sequences are like lists of elements. But they’re both different representations for (musical) patterns. The thing is though that I’d like to use the same function names for both datatypes, like rev for reversing them fast for speeding them up, etc. This seems like a job for typeclasses/in…

• How to structure modules providing instances - #2 by atravers

• How to structure modules providing instances - #4 by atravers

…if that’s (primarily) the reason why you’re now looking at implementing the monadic interface: I was using Monad as an analogy; I didn’t intend that to be a suggestion or advocacy - apologies for any confusion about that.