Mon Apr 14 12:31:02 EDT 2008 Samuel Bronson * Check that lhs and rhs have compatible types in E.Rules.makeRule Also remove the unused DataTable argument to typesCompatable, since makeRule hasn't got a DataTable. Mon Apr 14 12:38:30 EDT 2008 Samuel Bronson * Demonstrate the Kleisli problem in distilled form