The something has to be a single argument type constructor, and bind and return need to abide by some laws.

I don't mean that as any sort of "gotcha", just some additional clarification - especially if people read your "just" too strong.