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