Resolving dependencies...
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.0
Downloaded   ranged-list-0.1.0.0
Starting     ranged-list-0.1.0.0
Building     ranged-list-0.1.0.0
Completed    ranged-list-0.1.0.0