Tried out those fancy records from the Agda std lib
More failing with internal pattern matching