Use type family for State instead of indexed type class