checking package dependencies
compiling EUnifyKind1.bs
Warning: "EUnifyKind1.bs", line 57, column 33: (P0102)
  Declaration of `x' shadows previous declaration at "EUnifyKind1.bs", line
  41, column 8
Warning: "EUnifyKind1.bs", line 57, column 33: (P0223)
  Definition of `x' is not used.
Warning: "EUnifyKind1.bs", line 57, column 35: (P0102)
  Declaration of `y' shadows previous declaration at "EUnifyKind1.bs", line
  44, column 8
Warning: "EUnifyKind1.bs", line 57, column 35: (P0223)
  Definition of `y' is not used.
Error: "EUnifyKind1.bs", line 47, column 13: (T0025)
  The type `Mystruct' is applied to too few arguments.