module ImpossiblePattern where

f : ?
f (_ _) = ?