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