I have been looking at RedPRL quite a bit, and am very interesting in learning more about it. I was wondering if you had thought of domains or applications wherein the language might be useful, but is not currently be used. For example, if I were working to apply Category theory to some areas of biology, do you think the language would be particularly suited to computational models of this area? I guess I am wondering if there are things that can be expressed elegantly in the language, that are maybe not being done currently. Do you have any thoughts? I apologize if this may be too speculative of a question, but I am genuinely curious. Thank you.