Resolving dependencies...
Downloading  type-fun-0.1.3
Downloaded   type-fun-0.1.3
Starting     type-fun-0.1.3
Building     type-fun-0.1.3
Completed    type-fun-0.1.3