extra type parameter is not necessary
test pattern matching on records