Removed implicit true/false for Maybe; Renamed WhereSome to Flatten