MISC might be of relevance here: http://lambda-the-ultimate.org/node/2887 http://lambda-the-ultimate.org/node/2887 EDIT: And for the record, I actually think

MISC might be of relevance here: http://lambda-the-ultimate.org/node/2887 http://lambda-the-ultimate.org/node/2887 EDIT: And for the record, I actually think it's a brilliant idea.