#51 Improved pointless type bounds