Pass test
Higher Functions
Fix double binding
checkTypeAnnotation
class constructor