Type-check user-defined constructors
Type-check user-defined constructors

etsy/phan,etsy/phan,ksmaheshkumar/phan,madmuffin1/phan,rlerdorf/phan,akrabat/phan,akrabat/phan,ArtemGordinsky/phan,ArtemGordinsky/phan,adduc/phan