#23: post scala lower type bound