Ignore type-constructor for now.