Commented out checking on forcing types