Data.Functor.Contravariant.Day

data Day f g a

day

runDay

assoc

disassoc

swapped

intro1

intro2

day1

day2

diag

trans1

trans2