Resolving dependencies...
Starting     lawful-classes-types-0.1.0.1
Building     lawful-classes-types-0.1.0.1
Completed    lawful-classes-types-0.1.0.1