Abstract Return types

[steveklabnik]

#105 was closed, but this is a feature we do want someday.

[mitchmindtree]

New(ish) related proposal.

[glaebhoerl]

also #1522

[mbrubeck]

Marking this as closed by #1522.