Done Course.Applicative
Done Course.Bind