If you declare a constructor with record syntax, you don't have to use it everywhere. You can still use the same `C a b c` syntax for constructor or matching even if `a` `b` and `c` have record names too.