Added tests for OptionalT Apply and Applicative
Finished distinctG