consider relaxing the implicit sized restriction