naive exec typeclass