nd-intr.elf:30.38-30.43 Error:
Type mismatch
Expected: prop
Inferred: nd `A -> nd `B
Type/kind expression clash
Argument type did not match function domain type
nd-intr.elf:30.34-30.43 Error:
Type mismatch
Expected: nd (`A => `B)
Inferred: (nd A2 -> nd A1) -> nd (A2 => A1)
Type/kind expression clash
Argument type did not match function domain type
[Closing file nd-intr.elf]
nd-intr.elf:30.1-30.46 Error:
 2 errors found