data constructors are NOT types