Resolving dependencies...
Downloading  TypeNat-0.5.0.1
Downloaded   TypeNat-0.5.0.1
Starting     TypeNat-0.5.0.1
Building     TypeNat-0.5.0.1
Completed    TypeNat-0.5.0.1