I love everything about this until he presents the syntax:

    album :: Schema
    album = ProductType (HM.fromList
      [ ("title", Builtin SString)
      , ("artist", Builtin SString)
      , ("tracks", Builtin (SSequence (Builtin SString)))
      ])

No thanks!

> (It won't be hard to make this conversion automatic, though I haven't gotten around to it yet.)

Well let me know when you get around to it.