whitespace-cleanup
Merge branch 'i914-dipq' of github.com:f-me/carma into i914-dipq
Workaround for indecent comonad and semigroupoids bumps