Toy project... just to get Spec2 transitive deps right...