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