Inductive tests.MyMaybe

Modification history