-- !!! Malformed pattern (unknown constructor)
module M where
f K = error "foo"