experiment with type coersions in constrained templates