module A (f) where f x = [x] g x = Just x