Models a constraint on a type variable. Currently there are type class constraints such as "Eq a" and lacks constraints such as "r\orderDate". Constraints are used in the context part of a type declaration, and in type class and class instance definitions.
@author Bo Ilic
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.