module T16619a where

(!) _ _ = return []