added main function - now gives type check error instead