Anonymous

nd-intr.elf:30.38-30.43 Error:Type mismatchExpected: propInferred: nd `A -> nd `BType/kind expression clashArgument type did not match function domain typend-intr.elf:30.34-30.43 Error:Type mismatchExpected: nd (`A => `B)Inferred: (nd A2 -> nd A1) -> nd (A2 => A1)Type/kind expression clashArgument type did not match function domain type[Closing file nd-intr.elf]nd-intr.elf:30.1-30.46 Error: 2 errors found