[GrandMasterBirt]

Simpler: Mathematical formulas can't be patented.

Haskel is a lambda calculus implementation. Therefore implementing ANYTHING in haskel will mean that it is just a mathematical formula (have a program to transform it so we can put it to court) and therefore as long as anything is implemented in haskel at least once it proves that that something is just a unpatentable mathematical formula.

If the laws won't change to accommodate us, we should pull out the guns (metaphorical).