definition module StdMaybe import Maybe //TODO: Fix uniqueness annotations in Functor such that mapMaybe :== fmap mapMaybe :: .(.x -> .y) !(Maybe .x) -> Maybe .y