Use type family instead of indexed type class