module T16682 where

import T16682a

f Unit = () -- Non-exhaustive patterns warning with -fno-code