Working model of Spire & Scalaz. Tests pass.