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