Strong Type Constraints for Scala