keep Не забыть! f arg@(Type {field = Const1}) = ...