Cleaned up instances, are now defined on concrete types.