Bind returns Nothing iff [m] is Nothing.

Equal returns true if both m1 and m2 are nothing or have the same value according to [equalFunc].

Nothing returns a new Maybe[T] with no value.

Some returns a new Maybe[T] with the value val.

Maybe T = Some T | Nothing.