ekmett/hask — pull request #2 by echatav (2014-08-05 05:33:02+00:00)
Title: Semitensor for Day

Started work on instance Semitensor (Day c t). Also using the synonyms Copresheaf and CopresheafOf.