At
http://lambda-the-ultimate.org/node/1625#comment-19906
an interesting thread has started up, trying to express the membrane pattern
in strongly typed languages like O'Caml and Emily.
--
Text by me above is hereby placed in the public domain
Cheers,
--MarkM