allow implicit infinite types for records