Resolving dependencies...
Downloading  typecheck-plugin-nat-simple-0.1.0.2
Downloaded   typecheck-plugin-nat-simple-0.1.0.2
Starting     typecheck-plugin-nat-simple-0.1.0.2
Building     typecheck-plugin-nat-simple-0.1.0.2
Completed    typecheck-plugin-nat-simple-0.1.0.2
Downloading  ranged-list-0.1.0.1
Downloaded   ranged-list-0.1.0.1
Starting     ranged-list-0.1.0.1
Building     ranged-list-0.1.0.1
Completed    ranged-list-0.1.0.1