imap
requires that f.andThen(g) == identity
#4200
Draft
imap
requires that f.andThen(g) == identity
#4200