Well, the same kind of contracts approach could be used to enforce a duck-typed set of behaviors:

  [:quacks], [:barks] => Maybe[:flies]

Some Rubyists get pedantic about duck typing. It's just a tool to design good systems, not an article of faith.