Statement now is a typeclass