Some simple data type forcing