coalgebraic consequence

go to bed, functor. you’re drunk.