@larsrh The annotation is necessary because Kleisli still has one. Once #383 is merged, I can rebase and remove it here.