Issue318.err

Issue318.agda:10,6-9
Duplicate definition of module _≤_. Previous definition of datatype
module _≤_ at Issue318.agda:6,8-11
when scope checking the declaration
  data _≤_ where