fix: inside objectify, record pattern matching didn't work