[gnufx]

Lacking time to study, is this basically what Phil Wadler has written and talked about, like "Propositions as types"?