add a monad file
finished the extension for binary relation. Seems easy enough.
However, what if later one want a ternary relation? what would
I do then, add another data type call ternary? For prototype,
it is fine, but for future, I would need to think more about this.