Data.Functor.Invariant.Day
data Day f g a
day
assoc
disassoc
swapped
intro1
intro2
elim1
elim2
trans1
trans2
toContravariant
toCovariant