Add Type constraint