Accidental "bind" instead of "Chain"

Fixes #19
Add Semigroup specification

Fixes #5