Perhaps this - at last - leads to people only submit personal data to websites who have their data encrypted in their database and a certified to have done that.
Monoid: A + B (|+|)
Functor: M[A] => (A => B) => M[B]
Monad: M[A] => (A => M[B]) => M[B]
Applicative: M[A] => M[A=>B] => M[B]
Kleisli: (A => M[B]) => (B => M[C]) => (A => M[C])