Data.Functor.Contravariant.Day
data Day f g a
day
runDay
assoc
disassoc
swapped
intro1
intro2
day1
day2
diag
trans1
trans2