Remove (error "synifyKind") to use WithinType, to allow haddock to process base.