module NonGreedy where -- | f :: a f = undefined