Week 16: Relation and Function with its Types