The difference is an informative error message at compile time when such fails to satisfy the 'refinement'