three laws dist-maybe

• distribution monad
• maybe monad