On 14.08.2014 10:59, Tom Ellis wrote: > > Is there a language that gets this right? If so we can try replicating its > functionality in Haskell. > > No language I know of.