Type specs for the haiku paper project