Option0.idr

-- Attempting to implement my own Maybe monad using the Option type naming from F#
data Option x = None
              | Some x
              
Monad Option where
  (>>=) = ?stuff